Je vous demande pardon

Asynchronous Rendez-vous in Distributed Logic Programming

In this paper the semantics of the communication mechanism of the distributed logic programming language DLP is studied. DLP combines logic programming with object oriented features and parallelism. For an abstract subset of DLP both an operational and denotational semantics is given. The language DLP supports active objects, method call by rendezvous and moreover (distributed) backtracking ove...

Adnosco : gérez les données que vous diffusez !

Resurrecting Ada's Rendez-Vous in Java

Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare’s Monitors, being too low level for most applications. In this paper we propose a high level synchronization mechanism for Java, based on Ada’s Rendez-Vous, adapting the notation and semantics to Java. The result is a nice and read...

Cross-Protective Capacity of Japanese Encephalitis (JE) Vaccines Against Circulating Heterologous JE Virus Genotypes

Current Japanese encephalitis vaccines are derived from strains of genotype III, yet heterologous genotypes are emerging in endemic areas. Inactivated vaccines given to European travelers were found to elicit protective levels of neutralizing antibodies against heterologous strains of genotypes I-IV.

Presidential Power Unbound: A Comparative Look at Presidential Pardon Power

Though few scholars compare presidencies, a recent collection by John Carey and Matthew Shugart (1998) compares the use of the presidential executive decree power in several countries. In a similar vein, we examine the oft-neglected power of the presidential pardon in the United States and Russia. The power of presidents to grant pardons is typically unlimited, which fact alone makes it worthwh...